Reliable Systems on Unreliable Fabrics

Designing reliable systems with unreliable components

Reliable Secure Computing Systems out of Unreliable Insecure Components ”

Parallels are drawn between the problems and techniques associated with achieving high reliability, and those associated with the provision of security, in distributed computing systems. Some limitations of the concept of a Trusted Computing Base are discussed, and an alternative approach to the design of highly secure computing systems is put forward, based on fault tolerance concepts and tech...

Reliable Networks with Unreliable Sensors

Wireless sensor networks (WSNs) deployed in hostile environments suffer from a high rate of node failure. We investigate the effect of such failure rate on network connectivity. We provide a formal analysis that establishes the relationship between node density, network size, failure probability, and network connectivity. We show that large networks can maintain connectivity despite a significa...

Designing Reliable Algorithms in Unreliable Memories

Some of today’s applications run on computer platforms with large and inexpensive memories, which are also error-prone. Unfortunately, the appearance of even very few memory faults may jeopardize the correctness of the computational results. An algorithm is resilient to memory faults if, despite the corruption of some memory values before or during its execution, it is nevertheless able to get ...

Distilling Reliable Information From Unreliable Theories

Suppose a domain expert gives us a domain theory which is meant to classify examples as positive or negative examples of some concept. Now suppose, as is often the case, that the expert speciies parts of the theory which might be in need of repair, as opposed to those parts of the theory which are certainly not in need of repair. We say that such a theory is partially mutable. There might be so...